Кирилл Фролов comments on Let’s reimplement EURISKO!