\q1
\v=17
\v~=Death is better than a bitter life, 
\¬q1
\q2
\p~<<q2=and eternal rest than a continual sickness. 
\¬q2
\¬v