\q1
\v=22
\v~=Car la sagesse est conforme à son nom. 
\¬q1
\q1
\p~<<q1=Elle n'est pas manifeste pour beaucoup. 
\¬q1
\¬v
\p
\¬p