Verification Logic — Glossary — ThinkLLM