digraph, dominator, tree.