2-EXPTIME loading ...