a.counterexample