\q1
\v=23
\v~=One building, and another pulling down, 
\¬q1
\q1
\p~<<q1=What profit have they had but toil? 
\¬q1
\¬v