add counter example