\q1
\v=17
\v~=As a token of the changing of the heart, 
\¬v
\¬q1