Habrá mañana un eclipse si tal cosa tiene lugar, y tal cosa tendrá lugar a condición de que otra cosa también se verifique, la cual llegará a ser o devendrá bajo otra condición también.