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