Commentary on the first Alcibiades - Proclus Diadochus 412-485 (Platonic texts and translations, 2011)