\q1 \v=31 \v~=What is brighter than the sun? Yet even this can be eclipsed. \¬q1 \q2 \p~<