cousin_it comments on Let’s reimplement EURISKO!