pass (typos, formatting) on Sections 5 to 7