\q1 \v=9 \v~=Many shall commend his understanding; \¬q1 \q1 \p~<