I added to this online article the following definitions, propositions, and conjectures:

**Definition** $latex \boxbox f = \bigsqcap^{\mathsf{RLD}} \mathrm{up}^{\Gamma (\mathrm{Src}\, f ; \mathrm{Dst}\, f)} \, f$ for reloid $latex f$.

**Obvious** $latex \boxbox f \sqsupseteq f$ for every reloid $latex f$.

**Example** $latex (\mathsf{RLD})_{\Gamma} f \neq \boxbox (\mathsf{RLD})_{\mathrm{out}} f$ for some funcoid $latex f$.

**Conjecture** $latex (\mathsf{RLD})_{\Gamma} f = \boxbox (\mathsf{RLD})_{\mathrm{in}} f$ for every funcoid $latex f$.