User blog comment:Billybob-mario/Hyperrecursion of Uncomputable Functions/@comment-99.185.0.100-20150430201146

Naïve extensions aren't very interesting, but the name is funny (FOOT -> LEG)