Did some proofreading of sections 1-5. Updated proof examples in section '2:...
Did some proofreading of sections 1-5. Updated proof examples in section '2: cyp' to use new explicit quantification. Fixed newlines in sections 4 and 5.
Did some proofreading of sections 1-5. Updated proof examples in section '2: cyp' to use new explicit quantification. Fixed newlines in sections 4 and 5.