Conjecture For every composable funcoids $f$ and $g$
$(\mathsf{RLD})_{\mathrm{out}}(g\circ f)\sqsupseteq (\mathsf{RLD})_{\mathrm{out}}g\circ(\mathsf{RLD})_{\mathrm{out}} f.$