Notes for Allen Downey's think books.