This process is called garbage collection.The situation is slightly more complicated actually,because sometimes these expressions that create new bindings evaluate to closures that may refer to newly created locations.Can we garbage collect a once the let a = 2Evaluates?