correct digraphs