\q1
\v=21
\v~=Cet homme sera puni dans les rues de la ville. 
\¬q1
\q2
\p~<<q2=2 Il sera saisi là où il s'y attend le moins. 
\¬q2
\¬v
\p
\¬p