semiring'laws = 1