semimonoids everywhere