to ∞ and ->