Definition of "counterexample"