\q1
\v=21
\v~=This man will be punished in the streets of the city. 
\¬q1
\q2
\p~<<q2=He will be seized where he least expects it. 
\¬q2
\¬v