PSPACE-hard loading ...