 Avicenna’s cursory treatment of this case may be at the origin of a much more elaborate development in the analysis of this class of hypothetical syllogisms in Post-Avicennan logic, starting with Kaššī (El-Rouayheb 2010).