\c=42
\¬q2
\¬ms1