Chapter 47: Reasoning about the prisoner's hiding place