"Proclus Diadochus" . "Proclus Diadochus" . . . .