For since that which is possible is not necessary, and that which is not necessary may possibly not belong, it is clear that if it is possible that A should belong to, it is possible also that it should not belong to B; and if it is possible that it should belong to every, it is also possible that it should not belong to every.