edits up to section 5.1