\q1 \v=2 \v~=Who can count the sand of the seas, \¬q1 \q2 \p~<