The Six Books of Proclus, the Platonic Successor, on the Theology of Plato, Tr. from the Greek