Added Example 6.2