 In parallel to the Aristotelian syllogistic, Theophrastus distinguished three figures of wholly hypotheticals, each with sixteen modes. He claimed that all second and third figure syllogisms could be reduced to first figure syllogisms, and he also regarded some of them as reducible to Aristotle’s categorical syllogisms, presumably by way of the equivalence to “Every A is B” (see Bobzien 2000).