\c=73  
\¬q3
\¬ms1