\q1 \v=31 \v~=Who has seen him, that he may describe him? \¬q1 \q2 \p~<