maxmin semiring in the interface