Binding Problem — Glossary — ThinkLLM