Correctness_Algebras.Base