Dependency Graph for remark 1.7.6