\q1
\v=8
\v~=What did our arrogance profit us? 
\¬q1
\q2
\p~<<q2=What good have riches and boasting brought us? 
\¬q2
\¬v