Comment by nlitened

Here are some pictures I made for myself trying to "feel" the logic of Tree Calculus's reduction rules: https://latypoff.com/tree-calculus-visualized/ — might be handy for other people who are visual thinkers.