\c=3
\¬p
\¬ms1