Fit defn 5.1.1 on to the prior page
'r' -> 'roots'
Be more clear in definition of x'
Fix spacing in proof of thm 5.3.1
Swap (2) and (3) in thm 5.3.1
Remove a stray iff
Remove extraenous citation of the Myreenmail