a^x, x^x, compactness