\c=27  
\¬p
\¬ms1