puts ∞