PSPACE-completude loading ...