Figure 4: Fold Right Subtree