Edits to the preamble of Section 4