How do you negate the quantifier "for all?"