I am grateful to Randall Davis, Wesley Hildebrandt, Thomas Marill, Michael de la Maza and Deniz Yuret for their assistance in writing this paper.
