Tail recursion has profound theoretical implications, so it belongs there. If your language is properly tail-recursive it completely changes definition of recur

Tail recursion has profound theoretical implications, so it belongs there. If your language is properly tail-recursive it completely changes definition of recursive and iterative.