But, because all inference may be reduced in some way to Barbara, it does not follow that this is the most appropriate form in which to represent every kind of inference. On the contrary, to show the distinctive characters of different sorts of inference, they must clearly be exhibited in different forms peculiar to each. Barbara particularly typifies deductive reasoning; and so long as the is is taken literally, no inductive reasoning can be put into this form. Barbara, is, in fact, nothing but the application of a rule. The so-called major premiss lays down this rule; as, for example, All men are mortal. The other or minor premiss states a case under the rule; as, Enoch was a man. The conclusion applies the rule to the case and states the result: Enoch is mortal. All deduction is of this character; it is merely the application of general rules to particular cases.