Hare, K. E., Dept. of Pure Mathematics, University of Waterloo, Canada