push #6 of CodeBook.md