digraph

not defined yet