Reviewed proving sections
Textual suggestions of Thomas van Binsbergen
Patched formatiing on Report/ChapterBackground.tex.Pair (Thomas)