Lossy Verification — Glossary — ThinkLLM