Added a counter example