ParentFull threadgeoffschmidt·I'm willing to believe that the ideal candidate is a fixed point under your operator, but I think it's going to be tricky to prove convergence :)View on HN