Once you see that synthetic intelligence provides a near-universal incremental step, every functional programmer knows what comes next