added: Example 3.5