\q1
\v=5
\v~=In his life, he saw his son and rejoiced. 
\¬q1
\q2
\p~<<q2=When he died, it was without regret. 
\¬q2
\¬v