# Some new definitions, propositions, and conjectures

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

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$.