\q1 \v=8 \v~=For there is a friend just for an occasion. \¬q1 \q2 \p~<