Correctness_Algebras.Boolean_Semirings