Control tree.
Dynamic extent and dynamic context.
Control flow = depth-first traversal of tree.