\q1
\v=7
\v~=For dreams have led many astray. 
\¬q1
\q2
\p~<<q2=They have failed by putting their hope in them. 
\¬q2
\¬v