push #12 of CodeBook.md