theorem_deps