\b \q1 \v=14 \v~=Don’t go to law with a judge; \¬q1 \q2 \p~<