Added defs from the book for Chapter 5.