Example 10.65 is untested.
