A start on edits to section 4 (up through first paragraph of 4.2).