Sure. The problem with the argument I wanted to highlight wasn't the puzzle nature of the solution, but the fact that the OP chose to instead focus on the research angle. I mean CSP, Actor Model, Lisp have strong foundations that took a lot of research... as did everything else from Type Systems to Linkers to Compilers. That said, I get your point too, I might have misunderstood OP.