added: Example 10.3.1