\c=19
\¬q2
\¬ms2