modify a counterexample case study