added: Example 7.4.1