Listing 13.11, 13.12, 13.13