Adds visual counterexample