Listing 13.4, 13.5, 13.6