So it is evident likewise that that which has come to be, at the moment when it has come to be, will be, and that which has ceased to be will not be; for what we have said applies universally to every kind of change, and its truth is most obvious in the case of contradictory change.