More defn of the digraph class