Hutton, D. Brian Laver. QRE 2007, 14 (1), 24. https://doi.org/10.1017/S1321816600005882.