User blog comment:Cookiefonster/forget about theta/@comment-5150073-20141103044400/@comment-5150073-20141103083653

$$\psi(0) = \varepsilon_0$$

$$\psi(\alpha+1)[n] = \psi(\alpha)\uparrow \uparrow n$$

$$\psi(\alpha)[n] = \psi(\alpha[n])$$

$$\psi(\alpha+\Omega)[n+1] = \psi(\alpha+\psi(\alpha+\Omega)[n])$$