PSPACE_(complexity) loading ...