Here’s a PSPACE-COMPLETE language: \begin{equation} \forall x_1, \exists x_2, \forall x_3 \dots \dots \phi\left(x_1, x_2, \dots, x_{n}\right) = 1 \end{equation}