# A step forward to solve an open problem

I am attempting to find the value of the node “other” in a diagram currently located at this file, chapter “Extending Galois connections between funcoids and reloids”.

By definition $\mathrm{other} = \Phi_{\ast}(\mathsf{RLD})_{\mathrm{out}}$.

A few minutes ago I’ve proved $(\Phi_{\ast}(\mathsf{RLD})_{\mathrm{out}})\bot = \Omega^{\mathsf{FCD}}$, that is found the value of the function “other” at $\bot$. It is yet a “mistery” what values it has at different arguments.