Penultimate minor edits

Minor housekeeping edits to introduction, framing paragraphs, and
conclusion. Mostly editing for conciseness.