Proof Sketch — Glossary — ThinkLLM