Constraint Discovery — Glossary — ThinkLLM