updated: Example 10.3.1