Add Example 9-1.