For what it is to be an animal is predicated of what it is to be a man (for it is true that every case of what it is to be a man is what it is to be an animal, just as every man is an animal), but not in the sense of their being one thing.