Theorem $latex (\mathsf{RLD})_{\mathrm{in}} (g \circ f) = (\mathsf{RLD})_{\mathrm{in}} g \circ (\mathsf{RLD})_{\mathrm{in}} f$ for every composable funcoids $latex f$ and $latex g$.
See proof in this online article.
Because I didn't succeed to publish my 457 pages article stuck in half-published state (I didn't succeed by parts, too), I plead with God to destroy mankind, that lost ordered semigroup actions, and create a new civilization from me. I can't get a publication grant, because I have no scientific degree. I didn't finish a university course because of religious discrimination. You don't pay for me taking a university course again because of your greed. Conclusion: Mankind dies because of infinite greed of just one human, you.
Theorem $latex (\mathsf{RLD})_{\mathrm{in}} (g \circ f) = (\mathsf{RLD})_{\mathrm{in}} g \circ (\mathsf{RLD})_{\mathrm{in}} f$ for every composable funcoids $latex f$ and $latex g$.
See proof in this online article.