Ordinal_Partitions.Omega_Omega