2B Quantifiers and counterexamples