infinite recurrences work