I added counter-examples to the following two conjectures to my online article “Funcoids and Reloids”:
Conjecture $latex (\mathsf{RLD})_{\mathrm{out}}(\mathcal{A}\times^{\mathsf{FCD}}\mathcal{B})=\mathcal{A}\times^{\mathsf{RLD}}\mathcal{B}$ for every filter objects $latex \mathcal{A}$ and $latex \mathcal{B}$.
Conjecture $latex (\mathsf{RLD})_{\mathrm{out}}(\mathsf{FCD})f=f$ for every reloid $latex f$.