\c=42  
\¬q1
\¬ms1