Как функция может помнить состояние между вызовами через nonlocal?

Внешняя функция держит переменную, внутренняя её меняет через nonlocal и возвращается наружу:

def make_counter():
    count = 0
    def step():
        nonlocal count
        count += 1
        return count
    return step

c = make_counter()
c()  # 1
c()  # 2
c()  # 3

nonlocal count говорит: «не создавай новую локальную переменную, а используй count из внешней функции». Без него count += 1 упадёт с UnboundLocalError, потому что присваивание сделало бы count локальной. Переменная count живёт в замыкании и не сбрасывается между вызовами c().