Digraph basics