edited by Michael Jamieson edited by Michael Robinson. edited by Michael Dillon edited by Michael Nelson edited by Michael Levenson. edited by Michael Maas. edited by Michael Hordeski edited by Michael J. Rosen edited by Michael Jakob edited by Michael Lapidge.