added Example 8.2