on Listing 6.21