\c=27
\¬q2
\¬ms2