However, this result was superseded by Omer Reingold's result that SL collapses to uniform logspace.
The earlier outcome was overturned by Omer Reingold, who demonstrated that the system of logic (SL) reduces to a uniform space of logs.