homepages/50/3562, University of Pennsylvania, Philadelphia, PA, USA, Peter J. Freyd, Home Page, http://andrej.com/mathematicians/F/Freyd_Peter.html