Dependency Graph for premise 1.3.9