Move the chapter 3 stuff to its own file.
Merge branch 'f/peano' of github.com:pharpend/lysa into f/peano