you may recall that tail calls are special because they can be reorganized by the compiler into a loop - loops don’t leave the current scope or mess with call stacks