PSPACE-completo ⊆ PSPACE