\omega_1+1