\q1
\v=10
\v~=Écrasez la tête des chefs des ennemis. 
\¬q1
\q2
\p~<<q2=2 qui disent : « Il n'y a personne d'autre que nous. » 
\¬q2
\¬v