More work on Example 3