eg we may reason that if A and cannot belong at the same time to the same thing, but it is necessary that one of them should belong to whatever the other does not belong to; and again and are related in the same way; and A follows everything which follows: it will result that belongs necessarily to everything to which belongs but this is false.