added: Example 4.6