Chapter 11.3: The Weakest Class Monitor