Example 3.23