Certainly I agree that the argument indicates that such statements are not known a priori, and hence are not analytic whether a given kind is a species of animals is a matter for empirical investigation.