\q1
\v=20
\v~=He has not commanded any man to be ungodly. 
\¬q1
\q2
\p~<<q2=He has not given any man license to sin. 
\¬q2
\¬v
\b
\¬c