\q1
\v=16
\v~=We can hardly guess the things that are on earth, 
\¬q1
\q2
\p~<<q2=and we find the things that are close at hand with labour; 
\¬q2
\q2
\p~<<q2=but who has traced out the things that are in the heavens? 
\¬q2
\¬v