semiring

not defined yet