counter example complete