What about using a reflective probabilistic oracle to decide whether programs halt, including programs that call on the same oracle?