Work on the counter example