Listing 10.5.