I guestt the example is not valid either