digraph is done, need testing