\q1 \v=10 \v~=Have you heard something? Let it die with you. \¬q1 \q2 \p~<