Чем отличаются необъявленные и `undefined` переменные?

typeof notExists; // "undefined" — безопасно
console.log(notExists); // ReferenceError

let declared;
console.log(declared); // undefined — ок
typeof declared;       // "undefined"

// non-strict: создаёт свойство глобала (плохо)
 ImplicitGlobal = 1;

// strict:
"use strict";
ImplicitGlobal = 1; // ReferenceError