* Tentatively adding support for thread-safe invocation of the oracle