push #3 of CodeBook.md