User blog comment:Wythagoras/FGH Dollars Function/@comment-5150073-20130710155414/@comment-7484840-20130710162555

OK, I thought that you meant for the Omega to be an Omega_2, becuase I forgot that it was possible for lower-type Omegas to be in a higher type psi function.

Just to check:

$$\psi(\psi_1(\Omega_2)) = \psi(\alpha\mapsto\psi_1(\alpha))$$ $$\psi(\psi_1(\Omega)) = \alpha\mapsto\psi(\psi_1(\alpha))$$