Some edits to beginning of Section 6.4.5