a few more JK edits to Section 4.1; plus a new version of the PDF