5.8 Example 7