\q1
\v=17
\v~=All bread is sweet to a fornicator: 
\¬q1
\q1
\p~<<q1=He will not leave off till he die. 
\¬q1
\¬v