\q2
\v=19
\v~=the circuits of years and the positions of stars; 
\¬v
\¬q2