\c=10  
\¬p
\¬ms1