novalis comments on Safe questions to ask an Oracle?

[novalis]

An upper bound for many search techniques can trivially be computed without any need for infinite regress.