commutative semiring