Book proofs are in! This is from the intro (with a few comments from me)