\c=90  
\¬q1
\¬ms1