 Last, the two types of mixed hypothetical syllogisms are the only cases in which Avicenna systematically investigates quantified atomic propositions (an obvious consequence of the fact that he is looking at inferences which, in conditional form, very much resemble those analyzed in the categorical syllogistic).