For example, sickness and health naturally occur in animals' bodies and it is indeed necessary for one or the other to belong to an animal's body, either sickness or health; again, odd and even are predicated of numbers, and it is indeed necessary for one or the other to belong to a number, either odd or even.