Listing 10.10, 10.11, 10.12