# A new conjecture about funcoids and reloids

I’ve forgotten this conjecture when wrote Funcoids and Reloids article:

Conjecture $(\mathsf{RLD})_{\mathrm{in}} (g\circ f) = (\mathsf{RLD})_{\mathrm{in}} g\circ(\mathsf{RLD})_{\mathrm{in}} f$ for every composable funcoids $f$ and $g$.

Now this important conjecture is in its place in the article.

I am going also to spend some time attempting to prove it.