Formal Theorem Dependency — Glossary — ThinkLLM