Formalization — Glossary — ThinkLLM