Dependency Graph for remark 1.7.8