updated Example 3.5