[Kitāb mukhtaṣār Taṣḥīḥ Ghāyat al-ikhtiṣār … etc.]