If then this is so, clearly the last differentia will be the substance of the thing and its definition, since it is not right to state the same things more than once in our definitions; for it is superfluous.