For if it is granted that that of which it is true to say man, even if not man is also true of it but provided only that it is true to say that man is an animal and not not an animal it will be true to say that Callias, even if not Callias, is nevertheless an animal and not not an animal.