Dependency Graph for mathlogic 1.2