\q1
\v=10
\v~=A long disease mocks the physician. 
\¬q1
\q2
\p~<<q2=The king of today will die tomorrow. 
\¬q2
\¬v