\c=73  
\¬p
\¬ms1