a counter example