Consistency problem in the example