\q1
\v=9
\v~=The number of man’s days at the most are a hundred years. 
\¬v
\¬q1