Correctness_Algebras.N_Semirings_Modal