\q1
\v=30
\v~=Car le jour cède la place à la nuit, 
\¬q1
\q2
\p~<<q2=2 mais le mal ne prévaut pas contre la sagesse. 
\¬v
\¬q2
\¬c