Tightened some wording and moved some less-important comments to footnotes.