Pym, John, Department of Pure Mathematics, The University of Sheffield, England, United Kingdom