\q1
\v=10
\v~=As a drop of water from the sea, and a pebble from the sand, 
\¬q1
\q2
\p~<<q2=so are a few years in the day of eternity. 
\¬q2
\¬v