Correctness_Algebras.N_Semirings