\q1
\v=11
\v~=But let our strength be a law of righteousness; 
\¬q1
\q2
\p~<<q2=for that which is weak is proven useless. 
\¬q2
\¬v