If, therefore, it is necessary that the posterior should come to be, the prior also must have come to be; and if the prior has come to be, then the posterior also must come to be not, however, because of the prior, but because its future being was assumed as necessary.