NP ⊆ PSPACE Inclusion · folklore Statement NP ⊆ PSPACE — folklore. Sketch Enumerate all candidate certificates, reusing one polynomial-size tape to run the NP verifier on each; accept iff some candidate is accepted.