Correctness_Algebras.Capped_Omega_Algebras