fixed semirings 5,6