Code edits in Section 4.

A bunch of text edits in Section 5.