edits to section 3.2