On the other hand, if we had dynamic scope, then if the caller to f passed in some g that had in its function body x, we might end up using that x, cuz here is the call site and under dynamic scope, which is not what ML has. 