Because I didn't succeed to publish my 457 pages article stuck in half-published state (I didn't succeed by parts, too), I requested God to destroy mankind, that lost ordered semigroup actions, and create a new civilization from me. God answered that he will create a new civilization from me. I can't get a publication grant, because I have no science 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.
I have found a surprisingly easy proof of this conjecture which I proposed yesterday.
Theorem Let $latex S$ be a set of binary relations. If for every $latex X, Y \in S$ we have $latex \mathrm{up} (X \sqcap^{\mathsf{FCD}} Y) \subseteq S$ then there exists a funcoid $latex f$ such that $latex S = \mathrm{up}\, f$.
The proof (currently available in this PDF file) is based on “Funcoids are filters” chapter of my book.
Oops, my proof is erroneous. I hope to salvage the proof, however.