\q1
\v=7
\¬v