\b \q1 \v=10 \v~=Don’t forsake an old friend; \¬q1 \q2 \p~<