Since the definition is a formula, and a formula has parts, we had to consider with respect to the notion of part, what are parts of the substance and what are not, and whether the same things are also parts of the definition.