Logical Inconsistency Detection — Glossary — ThinkLLM