added: Example 4.5