If you catch typos or other mistakes, please add them to David Spivak's list:

* [Seven Sketches book:
Typos, comments, questions, and suggestions](https://docs.google.com/document/d/160G9OFcP5DWT8Stn7TxdVx83DJnnf7d5GML0_FOD5Wg/edit).