Oracle відносно якого

Зоологія складності Грега Куперберга стверджує, що існує мова така, що B P P X X ⊈ Δ 2 P X - іншими словами, B P P X ⊈ P N P X - але не дає посилання на цей результат. Чому це дотримується? Або де можна знайти доказ?$X$$\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X$$\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X}$

Це питання частково мотивоване моєю відповіддю на питання "Що відомо про багатопрофільні інтерактивні докази з короткими повідомленнями?" Джо Фіцсімонс.

Я опублікував це питання на math.stackexchange.com 2 жовтня, але не отримав жодної відповіді та видалив це питання з математики після цієї публікації на meta.math.

$BPP = EXP^{NP}$