Внутри функции объявление новой переменной `total` затеняет переменную `total`, определенную снаружи, поэтому функция изменяет только свою собственную, локальную версию.
Хотя, казалось бы, недоступная, представляющая собой глубоко большую предельную кардинальность, недоступность является основополагающим понятием в теории множеств, используемым для построения более сложных математических структур.