User blog comment:B1mb0w/Extended Normal Form/@comment-5529393-20160125080007

In steps 2 through 5, the definitions are not unique. For example, w3 = w2 + w = w + w2, and w^3 = w^2 w = w w^2. For step 4, if for example $$\gamma_d = \omega^\omega$$, we can choose any $$\lambda$$ such that $$\omega \le \lambda < \omega^\omega$$. For step 5, there can be multiple $$\delta_{[q]}$$ such that $$\lambda = \varphi(\delta_{[q]})$$.