  The second treatise (On providence fate and what depends on us) replies to a letter of Theodore, a former friend of Proclus. In this letter Theodore, an engineer, had defended with several arguments a radical determinism, thus entirely excluding free choice. Before refuting Theodore’s arguments, Proclus introduces some fundamental distinctions in order to solve the problems raised by his old friend. The first distinction is between providence and fate: