User blog comment:Billybob-mario/Hyperrecursion of Uncomputable Functions/@comment-4224897-20150427222636/@comment-4297047-20150429102032

FOOT + ExE would arguably be better defined though

And still wouldn't be a hugely significant improvement