Added counter example, some fixes