Initial commit of Chapter 4 notes. Just a review, import of proof outlines, and updat...