Correctness_Algebras.N_Algebras