Example 3-7