Oracle separations (e.g., P^A ≠ NP^A for some oracle A) directly show computational classes have fun...
This proposition has not been edited since the history system was added.