Haq, Walī Allāh al-Dihlawī, 1702 or 1703-1762 or 1763 ; Haqqānī, Abū Muhammad ʻAbdul. Tarjūmah ḥujjatullāh al-bālig̲h̲ah. Qaṣr alḤikmat, .