In general whenever A and are such that they cannot belong at the same time to the same thing, and one of the two necessarily belongs to everything, and again and are related in the same way, and A follows