these arises from our being able as syllogistically to collect accident, that it is inherent, so to construct through genus. There will however be a proper arrangement if what is first be assumed, and this will be if that be taken which is consequent to all, but all not consequent to it; for there must be something of this kind. This then being taken, there must now be the same method in the things inferior, since the second will be that which is first of the rest, and the third that which is first of the following, for what is superior being taken away, whatever succeeds will be the first of the others; there is also similar reasoning in the other cases. Still that all these should be, is clear from assuming what is first in the division, that every animal is either this or that, but this is inherent; and again the difference of this whole but that of the last there is no longer any difference, or immediately with the last difference this does not differ in species from the whole: for it is clear that neither more (than is necessary) is added, for every thing has been assumed in reference to what a thing is, nor is any thing deficient, for it would be either genus or difference. Both the first then is genus, and this assumed together with differences, but all the differences are contained, for there is no longer any posterior difference. Otherwise the last would differ in species, this however has been shown not to differ.
Still we must investigate, looking to those which are similar and do not differ, first (considering) what that is which is the same in all these, then again in other things which are in the same genus with them, and which are among themselves the same in species, but different from those. Yet when in these that is
