\c=32
\¬p
\¬ms1