Quantifier negation rules
~ foreach(x) P(x) === exists(x) ~ P(x)