change a counterexample case study