Add counter example from Howard