Here we sit with psi(Omega2) for a bit and look at it closely, including a taste of what expanding out f(psi(Omega2),n) would look like. That gives an opportunity to see more of the structure of psi and how g can be used to understand (a tiny bit of the awesomeness of) f. In the next video we'll proceed further with psi applied to uncountable arguments.