Implications of Space-Bounded Computation