working digraph