Edits to sections 3 and 4