\c=12  
\¬p
\¬ms1