Am I missing something or the last X -> X' on Example 2.1.2.3 is inverted? Shouldn't it be X' -> X?