Therefore that which is coming to be is ceasing to be when it has come to be coming to be; for it cannot cease to be at the very time at which it is coming to be coming to be, nor after it has come to be; for that which is ceasing (K) to be must be.