Add binding correction
More work
Start with proof
Work on #4
3.1 and 3.3 done (#4)
Finish 3.2, closes #4
Add notes for #5
Add main file, got first part of #5 done
Finish second part of #5
Introduce some titles, close #5
Save notes
Add notes for second problem, #6
Add notes for 2.2, #6
Notes 2.3 done, #6
Finish typesetting, close #6
Start working on #7
Did total overkill on 3.1, #7
Reword
Reword again
Did another overkill on 3.2, \#7