Policy formalization — Glossary — ThinkLLM