W \leq (\omega^7*2)\omega^{\omega+3}=(\omega^7*2)\omega^{1+\omega+3}=(\omega^7*2)*\omega*\omega^{\omega+3}