Recursionmedium
0:00.0

Which condition is necessary for a recursion to be considered 'well-founded'?