Right, but the demonstration gave zero context and came up with the original function. It would have been interesting if it were instructed to produce the funct

Right, but the demonstration gave zero context and came up with the original function. It would have been interesting if it were instructed to produce the function in Haskell or some other programming model.