Still, if the question is, how we may best cast a literary sentence into logical form, good grounds for a definite answer may perhaps be found. We must not try to stand upon the naturalness of expression, for _Dark is the fate of man_ is quite as natural as _Man is mortal_. When the purpose is not merely to state a fact, but also to express our feelings about it, to place the grammatical predicate first may be perfectly natural and most effective. But the grounds of a logical order of statement must be found in its adaptation to the purposes of proof and inference. Now general propositions are those from which most inferences can be drawn, which, therefore, it is most important to establish, if true; and they are also the easiest to disprove, if false; since a single negative instance suffices to establish the contradictory. It follows that, in re-casting a literary or colloquial sentence for logical purposes, we should try to obtain a form in which the subject is distributed--is either a singular term or a general term predesignate as 'All' or 'No.' Seeing, then, that most adjectives connote a single attribute, whilst most substantives connote more than one attribute; and that therefore the denotation of adjectives is usually wider than that of substantives; in any proposition, one term of which is an adjective and the other a substantive, if either can be distributed in relation to the other, it is nearly sure to be the substantive; so that to take the substantive term for subject is our best chance of obtaining an universal proposition. These considerations seem to justify the practice of Logicians in selecting their examples. For similar reasons, if both terms of a proposition are substantive, the one with the lesser denotation is (at least in affirmative propositions) the more suitable subject, as _Cats are carnivores_. And if one term is abstract, that is the more suitable subject; for, as we have seen, an abstract term may be interpreted by a corresponding concrete one distributed, as _Kindness is infectious_; that is, _All kind actions suggest imitation_. If, however, a controvertist has no other object in view than to refute some general proposition laid down by an opponent, a particular proposition is all that he need disentangle from any statement that serves his purpose. § 2. Toward understanding clearly the relations of the terms of a proposition, it is often found useful to employ diagrams; and the diagrams most in use are the circles of Euler. These circles represent the denotation of the terms. Suppose the proposition to be _All hollow-horned animals ruminate_: then, if we could collect all ruminants upon a prairie, and enclose them with a circular palisade; and segregate from amongst them all the hollow-horned beasts, and enclose them with another ring-fence inside the other; one way of interpreting the proposition (namely, in denotation) would be figured to us thus: [Illustration: FIG. 1.]