Negators and Quantifiers

Negation in Mon