Typo in textbook, on page 219

Daniel just pointed out to me that there is a typo in lines 5 - 6 on this page. It says: "This is because the clause Nec (x = y) of the conditional drops out because it it known to be true." It should read: "This is because the clause Nec (x = x) drops out because it is known to be true."