Oversimplifying summary: totality checking tells you which things terminate, and which things produce more results. Gluing these together is all you need. Simplifying even more: stop it. Turing completeness is overrated.
I know (at least partly due to this paper). I still think it's overrated :)
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.