Dependency Graph for persisting-theory 1.0