\c=107  
\¬q2
\¬ms1