Finished Bernhard's corrections to background
Did all but on background todo note
Finished todo notes in the introduction
Sorted out proof of divisor of y, and sorted out a couple of references