\c=23
\¬q2
\¬ms2