Listing 9.10. with all tests green as expected.