Done revising section 3. (And added some minor comments elsewhere.)