While we're in the beginning stages of building out psi, it makes sense to compare this with the Veblen story. To do that involves some cute (if a little counterintuitive) algebra with ordinal exponentiation.