\c=13  
\¬p
\¬ms1