After Exercises 9.6.1-4