Correctness_Algebras.General_Refinement_Algebras