edits to section 3.4