Proximal operator — Glossary — ThinkLLM