This is a collection of "extra credit" topics for various parts of the book that were too complicated, too tangential, not useful enough, or just broke the flow too much. These aren't as edited as the book itself and the difficulty curve is more uneven. Also, most of the pieces assume you've read the referenced parts of the books so may not make sense if you don't have a copy of Logic for Programmers.