Establishing the Argument with Proof: A Commentary on Ibn Badi's Poem on the Abridgment of Khalil