Short version

Shortened version of first two section. Also some trivial typos
corrected in long version