Walīdī, Aḥmad ibn ʻĪsá,