Suppose we have a recursive function defined on a tree. The function takes as input a node in the tree, calls another function bar that performs some work on the node and then makes recursive calls to itself on the parent provided it has one.