It had been. Everyone was just talking about the Y-combinator so I derived from there, but Omega was first. Once you have any fixed-point, though, deriving the

It had been. Everyone was just talking about the Y-combinator so I derived from there, but Omega was first. Once you have any fixed-point, though, deriving the others is trivial. The explosive self-referential nature of your system has been uncovered.