[![enter image description here][1]][1] 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_)? [1]: https://i.sstatic.net/u4c5u.jpg