ליצור גרסה מורכבת יותר של המשפט הזה, זה יכול להיות ביעילות מצטבר בתור לולאה, אבל לא יכול להתמודד עם רשימות אינסופיות בכלל.
כמובן, גרסה מורכבת יותר של המשפט היא "ההחזרה הזנב הזו יכולה להיות מצטברת ביעילות בתור לולאה, אבל לא יכולה להתמודד עם רשימות אינסופיות בכלל - היא תחזור לנצח בלולאה אינסופית".