\q1
\v=14
\v~=He who rises up early to seek her won’t have difficulty, 
\¬q1
\q2
\p~<<q2=for he will find her sitting at his gates. 
\¬q2
\¬v