\q1 \v=9 \v~=Every wise person will understand the things about which I have written; \¬q1 \q2 \p~<