 Proclus. As we have seen before, the Elements of Theology were translated into Arabic within the circle of al-Kindi (Endress 1973; on later circulation, see Wakelnig 2006, 2011; up-to-date survey by Endress 2012); some propositions were attributed to Alexander of Aphrodisias under various titles—On the First Cause, On the Existence of Spiritual Forms with no matter, On the Difference between eternity and time, On Coming-to-be, On the Body (van Ess 1966; Endress 1973; Zimmermann 1994). This collection of Proclus’ propositions is sometimes labelled as Account of what Alexander has extracted from Aristotle’s book called Theology (Endress 1973, 53; Zimmermann 1986, 189–90; Goulet-Aouad 1989a, 133; Fazzo 2003, 64–5). Another writing by Proclus, extant in Greek only through the quotations by John Philoponus in his De Aeternitate mundi, was translated into Arabic in this period: the Eighteen arguments on the Eternity of the Cosmos against the Christians (Endress 1973, 15–16; Endress 2012, 1657–61; see also Wakelnig 2012).