Made English edits to Section 4.3.