counterexemplars