Small changes in chapters 1-4 (and abstract, I think)
Chapter 6, 3 AM
Maybe nicer summary
Updates for appendix, termination