TCO doesn't address unpredictable system load or execution time. Recursion doesn't lead to predictable systems.