Improve counter example