\q1
\v=26
\v~=A cheerful countenance is a sign of a prosperous heart. 
\¬q1
\q2
\p~<<q2=Devising proverbs takes strenuous thinking. 
\¬v
\¬q2
\¬c