Version 1 of #3977

The sentiment of the sentence stands. Even with uncomputable functions, one shouldn't waste time in trying to solve them.