\q1
\v=9
\v~=If a mighty man invite thee, be retiring, 
\¬q1
\q1
\p~<<q1=And so much the more will he invite thee. 
\¬q1
\¬v