\c=28
\¬q2
\¬ms1