Correctness_Algebras.N_Semirings_Boolean