Listing 9.7, 9.8