more on the counter example