added: Example 3.9