\q1
\v=11
\v~=Mais que notre force soit une loi de justice ; 
\¬q1
\q2
\p~<<q2=2 car ce qui est faible s'avère inutile. 
\¬q2
\¬v