Dependency Graph for mathlogic 1.2.1