\q1
\v=5
\v~=Whoever honors his father will have joy in his own children. 
\¬q1
\q2
\p~<<q2=He will be heard in the day of his prayer. 
\¬q2
\¬v