\q1
\v=10
\v~=Celui qui n'a pas d'expérience sait peu de choses. 
\¬q1
\q2
\p~<<q2=2 Mais celui qui a voyagé augmente son intelligence. 
\¬q2
\¬v