A brief but thorough run through the entire problem of function tail call optimization (eg: lambda calculus, SmallTalk) via trees in re: yesterdays' Cook+Mertz trees video, which I am re-posting because the link I shared was bad.