Dependency Graph for duality 5.3.5