/semiring/