Minor edits to Section 3.5