\q1
\v=9
\v~=Car l'impie et son impiété sont tous deux odieux à Dieu ; 
\¬q1
\q2
\p~<<q2=2 
\¬v