\c=38
\¬q2
\¬ms1