Edits through Section 6.4.4