For constructive purposes, on the other hand, see if it always and of necessity belongs simultaneously, without being either a definition or a differentia; for then what is stated not to be a property will be a property.