digraphs: undecided ‼ proposal exists as !R