Chapter 33: Formal Exploration