EXPTIME-complete loading ...