Extended a paragraph moved here from the end of Section 1.2.