\q1 \v=15 \v~=There is no head above the head of a serpent; \¬q1 \q1 \p~<