Some initial edits.  First stab at proof of proposition 4.2