More minor edits through Section 5.6