@jcoglan sorry, I meant directed acyclic graph, not tree. Because that would be too simple.