No counter example found