wording, formatting, and some missing proofs and references in ch3