 ‘Abd al-Latif then proceeds in his treatise by epitomizing the Book of the Exposition of the Pure Good, that is to say, the Liber de causis of the Latin Middle Ages, proposition 54, on the difference between eternity and time (Endress 1973; Jolivet 1979: 55–75; Zimmermann 1994: 9–51) from Proclus’ Elements of Theology, Metaphysics Lambda, and the pseudo-Theology (Martini Bonadeo 2017b, Ajoun 2017). ‘Abd al-Latif reproduces all the propositions of the Liber de causis, except numbers 4, 10, 18, and 20, and follows the same order in which they are set out (Badawi 1955b; Anawati 1956: 73–110; Taylor 1984: 236–248). Abd al-Latif's aim is to establish, on a Farabian model, an identification between the First Cause, One and Pure Good, as presented in the Liber de causis and the Aristotelian First Principle, Unmoved Mover and Intellect in actuality, described in his paraphrase of Metaphysics Lambda.  