Blocker(s):
Bruce Payne, #1939
Halting Problem, #36
Pinto, #42
Currently unavailable.