NL ⊆ P ⊆ NP ⊆ PSPACE