\q1 \v=8 \v~=Whether it is of friend or foe, don’t tell it. \¬q1 \q2 \p~<