Chapter 6: Definitions of Recursive Functions