Text this: (Leftmost-Outermost) Beta Reduction is Invariant, Indeed