\q1
\v=31
\v~=He who repays good turns is mindful of that which comes afterward. 
\¬q1
\q2
\p~<<q2=In the time of his falling he will find a support. 
\¬q2
\¬v
\b
\¬c