Example 10.12 has not been tested.