\q1
\v=12
\v~=As his mercy is great, so is his correction also. 
\¬q1
\q2
\p~<<q2=He judges a man according to his works. 
\¬q2
\¬v