Revision of Sec 3 and other misc revisions.
Merge with Eunkyu's writing of beginning of Sec 2.