Jonathan_Graehl comments on Let’s reimplement EURISKO!