\c=42  
\¬q3
\¬ms1