\q1
\v=30
\v~=Ne soyez pas excessif envers qui que ce soit. 
\¬q1
\q2
\p~<<q2=2 Ne faites rien d'injuste. 
\¬q2
\¬v
\p
\¬p