Ibn al-Ḥājib, ʻUthmān ibn ʻUmar, <i>Al-Shāfiyah.</i>