Definition $\boxbox f = \bigsqcap^{\mathsf{RLD}} \mathrm{up}^{\Gamma (\mathrm{Src}\, f ; \mathrm{Dst}\, f)} \, f$ for reloid $f$.
Obvious $\boxbox f \sqsupseteq f$ for every reloid $f$.
Example $(\mathsf{RLD})_{\Gamma} f \neq \boxbox (\mathsf{RLD})_{\mathrm{out}} f$ for some funcoid $f$.
Conjecture $(\mathsf{RLD})_{\Gamma} f = \boxbox (\mathsf{RLD})_{\mathrm{in}} f$ for every funcoid $f$.