Dependency Graph for duality 5.4.4