Correctness_Algebras.N_Omega_Algebras