\q1
\v=25
\v~=Des hommes libres serviront un serviteur sage. 
\¬q1
\q2
\p~<<q2=2 Un homme qui a de la connaissance ne se plaindra pas. 
\¬q2
\¬v
\p
\¬p