Behavioral Specification — Glossary — ThinkLLM