\c=12
\¬q2
\¬ms2