matthias edits
matthias markups
final 2 personal paragraphs fixed
added 'proofs'
merged revisiosns from last weeek