counterexample

not defined yet