Examples 10.25 and 10.26 have not been tested.