(\omega+2)^{\omega+\omega}