And so that's why when we do something like call pow with two and four, we end up evaluating this function body in a dynamic environment where X is bound to two, Y is bound to four, and pow is bound to the function itself. 