Correctness_Algebras.Complete_Domain