(And that everything falls into the division if they are opposites which have nothing between them is not a postulate; for it is necessary for everything to be in one of them, if it is a differentia of that thing.)