\q2 \v=20 \v~=seeing with his eyes and groaning, \¬q2 \q2 \p~<