On the weakly commutative semirings | Synapse