R-equivalence — Glossary — ThinkLLM