 Avicenna’s account of reductio is an interesting case in which several of his technical distinctions come into play. A reductio is a compound syllogism (qiyās murakkab)—i.e., a concatenation of syllogisms—consisting of a connective hypothetical syllogism and of a repetitive syllogism. Both categorical and hypothetical propositions may be proved by reductio.