Known separations (oracles, diagonalization limits) actually constrain intermediate class positions ...
This proposition has not been edited since the history system was added.