Edits for the Implications chapter. Have not yet done the edits to Section 7.4. Mik will make those.