[Gurkenglas]

I think the statement you meant to remind us of is that NP is a subset of PSPACE.

[jessaustin]

According to the paper under discussion, the two statements are equivalent. Your version is probably more graceful, however.