 Regarding oracles, might this be a reasonable description of their inner workings (this from Hartley Rogers, Jr.'s text, _Theory of Recursive Functions and Effective Computability_)?