Почему в сборке x86 команда leave выполняет «mov esp, ebp»?

Говорят, что инструкция leave такая же, как:

mov esp,ebp
pop ebp

Но для чего здесь mov esp, ebp ? Мне это кажется неверным ...