\q1 \v=9 \v~=For if they had power to know so much, \¬q1 \q2 \p~<