\c=31  
\¬p
\¬ms1