And that these are all there are is evident; for you assume of the first term in the division that every animal is either this or this, and that this belongs to it, and again you take the differentia of this whole, and you assume that there is no further differentia of the final whole or that straightaway after the final differentia this no longer differs in species from the complex.