A witness separating L from PSPACE differs fundamentally from a witness separating PSPACE from EXP; ...
This proposition has not been edited since the history system was added.