Working on section 9
More edits
Last edits before submission, mostly to Section 8.
Changes for Compositio