W \leq \omega^{\omega+3}