counterexplanation

not defined yet