Alcibiades I / Proclus ; a transl. [from the Greek] and commentary by William O'Neill