Dependency Graph for premise 1.2.6