Functional correctness — Glossary — ThinkLLM