If, therefore, the definer proves either what a thing is or what its name signifies, then if a definition has nothing at all to do with what a thing is, it will be an account signifying the same as a name.