counterexamples started