\q1
\v=16
\v~=And I undertook to understand this, \add but\add* it is too hard for me, 
\¬v
\¬q1