\q1
\v=16
\v~=Some of them did that which was right, 
\¬q1
\q2
\p~<<q2=but some multiplied sins. 
\¬q2
\¬v