Lifted-Product Codes — Glossary — ThinkLLM