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