Explaining how to prove mutual inclusion, and leading the class in doing Exercises 11.1 and 11.2.