PSPACE-complete loading ...