\c=6
\¬q2
\¬ms2