Listing 11.4, 11.5, 11.6