More semirings
More semirings