added counter example