\q1
\v=5
\v~=J'ai vu de mes yeux beaucoup de choses semblables. 
\¬q1
\q2
\p~<<q2=2 Mon oreille a entendu des choses plus puissantes que celles-ci. 
\¬q2
\¬v
\p
\¬p