Two Treatises of Proclus, the Platonic Successor