Listing 13.7, 13.8, 13.9