 At Nağāt 91, i, Avicenna offers a straightforward example of a reductio proof of AaB in the categorical syllogism CaB; AaC ⊢ AaB, where (1) is the connective hypothetical syllogism (with a conditional minor) and (2) the repetitive syllogism (an instance of modus tollens):