Islamic Rational Theology in the Collections of Leiden University Library. The ‘Supplements’ of the Zaydī Imām al-Nāṭiq bi-l-ḥaqq (d. 1033) to the theological Summa of Abū ʿAlī Ibn Khallād (fl. second half of the 10th century)