nonlocal 'leaks' that assigning an new identifier declares a new local variable. This is part of the abstraction not a leak. I don't think I understand your o

nonlocal 'leaks' that assigning an new identifier declares a new local variable. This is part of the abstraction not a leak. I don't think I understand your other question.