edits to section 1.2