edited by David Pimentel. edited by Mark Fintel. edited by David Sedley. editor, David Pimentel. edited by David Mermelstein. edited by David C. Flenley. edited by David Cavitch. edited by David Arnott. edited by David C. Rine. edited by David Gries.