Errata: Exercise 11.4 should be Example 11.4 in Exercise 11.9