Henrik_Jonsson comments on Let’s reimplement EURISKO!