\q1
\v=22
\v~=Gladness of heart is the life of a man. 
\¬q1
\q2
\p~<<q2=Cheerfulness of a man lengthens his days. 
\¬q2
\¬v