If actual infinities are coherent, the regress of movers need not terminate in a first unmoved mover...