For proving that the definition is predicated of none of the things of which the name is predicated, is enough to overthrow it universally; and there is no need to prove in addition the converse of this, that the name is predicated of things of which the account is not predicated.