counterexemplified