Chapter 16: Recursive games