Обходной путь Изменяемые аргументы по умолчанию в Python

Просматривая документацию по python, я наткнулся на ниже.

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

def f(a, L=[]):
    L.append(a)
    return L

print(f(1))
print(f(2))
print(f(3))

Это напечатает

[1]
[1, 2]
[1, 2, 3]

Если вы не хотите, чтобы значение по умолчанию разделялось между последующими вызовами, вместо этого вы можете написать такую ​​функцию:

def f(a, L=None):
    if L is None:
        L = []
    L.append(a)
    return L

Теперь, как я понимаю, первый пример ведет себя так, как он, потому что L привязывается к пустому списку в определении, и, следовательно, любые изменения в этом (при нескольких вызовах) будут отражаться в исходном списке.

И, следовательно, во втором примере мы ни к чему не привязываем L (т. е. None), и, следовательно, при множественных вызовах мы всегда будем устанавливать его в None. Итак, мой вопрос: зачем нам вообще нужен оператор if во втором примере if L is None, разве он не всегда будет верным?