Dependency Graph for duality 4.1.9