\c=6
\¬p
\¬ms1