Initial version of Example 6.