Begin Example 43.