added: Example 4.7