Cleaned up appendix a bit. Some proof-reading. A few changes to 2.2.2