Hierarchical abstraction (cont.)