For tomorrow's eclipse will occur if A occurs, and A if occurs, and if occurs; and in this way if we subtract time from the limited time between now and tomorrow we shall come sometime to the already existing condition.