Dependency Graph for mathlogic 1.0