\c=9
\¬q2
\¬ms2