counterexemplifying