Chapter 11.4: The Weakest Class Monitor