Recall the definition of a recursion trace from Chapter 2.