User blog comment:Mush9/Beyond BIG FOOT (ideas in comments)/@comment-24920136-20161106172224/@comment-30167082-20161106183153

I see. Is that because  it is virtually impossible to predict if an uncomputable function dominates another, unless it is an extension?