Example 5.6 Completed