\q1
\v=21
\v~=All things that are either secret or manifest I learned, 
\¬v
\¬q1