[comonad-colaboy]

Could it be that 'untrained' humans are NOT good halting oracles? the trained ones are good-enough halting oracles i.e on the scale of a fully focused Euler