Correctness_Algebras.Omega_Algebras