Замыкания и динамическая область?

Я думаю, я понимаю, почему существует опасность в разрешении замыканий в языке, использующем динамическую область видимости. То есть, похоже, вы сможете закрыть переменную OK, но при попытке ее чтения вы получите только значение наверху глобального стека. Это может быть опасно, если другие функции временно используют то же имя.

Не упустил ли я какую-то другую тонкость?