I have proved the conjecture that $S^{\ast}(\mu)\circ S^{\ast}(\mu)=S^{\ast}(\mu)$ for every endoreloid $\mu$. The easy proof is currently available in this file.