Make the counter example more meaningful