alterations to section 2

cleaned up some of the discussion, commented out part on abelianized
algebra.