Added Example 6.4