\c=21
\¬q2
\¬ms2