edited by Don Michael Randel edited by Michael Brand edited by J. Michael Padgett edited by Michael Mann edited by Michael Andrews edited by Michael Blaker edited by Michael Heatley edited by Michael Lapidge. edited by Michael Maas. edited by Michael Ruse.