can find counter example