\q1
\v=22
\v~=A mist coming speedily heals all things. 
\¬q1
\q2
\p~<<q2=A dew coming after heat brings cheerfulness. 
\¬q2
\¬v