\q1
\v=5
\v~=Many such things have I seen with mine eyes; 
\¬q1
\q1
\p~<<q1=And mine ear hath heard mightier things than these. 
\¬q1
\¬v