major improvements in the visualization of the counterexample