That it is more difficult to establish than to overthrow a definition, is obvious from considerations presently to be urged.

For to see for oneself, and to secure from those whom one is questioning, an admission of premisses of this sort is no simple matter, e.g. that of the elements of the definition rendered the one is genus and the other differentia, and that only the genus and differentiae are predicated in the category of essence. Yet without these premisses it is impossible to reason to a definition; for if any other things as well are predicated of the thing in the category of essence, there is no telling whether the formula stated or some other one is its definition, for a definition is an expression indicating the essence of a thing. The point is clear also from the following: It is easier to draw one conclusion than many. Now in demolishing a definition it is sufficient to argue against one point only (for if we have overthrown any single point whatsoever, we shall have demolished the definition); whereas in establishing a definition, one is bound to bring people to the view that everything contained in the definition is attributable. Moreover, in establishing a case, the reasoning brought forward must be universal: for the definition put forward must be predicated of everything of which the term is predicated, and must moreover be convertible, if the definition rendered is to be peculiar to the subject. In overthrowing a view, on the other hand, there is no longer any necessity to show one's point universally: for it is enough to show that the formula is untrue of any one of the things embraced under the term.

Further, even supposing it should be necessary to overthrow something by a universal proposition, not even so is there any need to prove the converse of the proposition in the process of overthrowing the definition. For merely to show that the definition fails to be predicated of every one of the things of which the term is predicated, is enough to overthrow it universally: and there is no need to prove the converse of this in order to show that the term is predicated of things of which the expression is not predicated. Moreover, even if it applies to everything embraced under the term, but not to it alone, the definition is thereby demolished.