Continued editing up through section 1.2.5