Counterexample output