Riffing on Gustavo Duarte's arguments and examples about using tree traversal rather than factorial for motivating and visualizing recursion