Commentary on Plato's "Timaeus" - Proclus Diadochus 412-485 (Cambridge University Press, 2017)