Some feedback from Robert Brown.
Finish appendix B.