\q1
\v=17
\v~=For if they live long, they will not be esteemed, 
\¬q1
\q2
\p~<<q2=and in the end, their old age will be without honor. 
\¬q2
\¬v