MugaSofer comments on Let’s reimplement EURISKO!

[MugaSofer]

You know, I don’t think I’ve ever seen someone argue that. Does anyone have any links?