\q1
\v=7
\v~=Le sacrifice d'un homme juste est acceptable. 
\¬q1
\q2
\p~<<q2=2 On ne l'oubliera pas. 
\¬q2
\¬v