puts -∞