\q1
\v=18
\v~=La vie de celui qui travaille et qui est satisfait sera rendue douce. 
\¬q1
\q2
\p~<<q2=2 Celui qui trouve un trésor est meilleur que les deux. 
\¬q2
\¬v