On Page 9, the example 1.2.1 seems to have a typo, where the two lines contradict with each other 