En la primera línea hay tres inclusiones, y se sabe que NL ⊂ PSPACE, de manera que al menos una de las inclusiones es estricta, aunque aún no se ha descubierto cuál de ellas lo es.