Example 5.6 Updated