[deleted] comments on Let’s reimplement EURISKO!