Vladimir_Nesov comments on Let’s reimplement EURISKO!