Forward progress guarantee is what allows for conversion between recursion and iteration for performance optimization. Otherwise these have different characteri

Forward progress guarantee is what allows for conversion between recursion and iteration for performance optimization. Otherwise these have different characteristics (recursion blows the stack, a loop hangs).