\q1 \v=14 \v~=What shall be heavier than lead? \¬q1 \q1 \p~<