semiring done