Add counter example