counterexamples

not defined yet