\c=18  
\¬p
\¬ms1