\q1
\v=5
\v~=Dans sa vie, il a vu son fils et s'est réjoui. 
\¬q1
\q2
\p~<<q2=2 Quand il est mort, c'était sans regret. 
\¬q2
\¬v