[utopcell]

In fact, we have an oracle that separates P from NP and another through which P=NP. This is why tackling P vs NP via oracles is an abandoned strategy.

[fyi1183]

True. This makes me wonder if there's an oracle relative to which BQP = PH?