pump infinite ∞ (pump ∞)