Dependency Graph for duality 5.4.5