Quantifiers And Negation