\q1
\v=26
\v~=He who digs a pit will fall into it. 
\¬q1
\q2
\p~<<q2=He who sets a snare will be caught in it. 
\¬q2
\¬v