Chapter 52: Reasoning about the Lack of Beating