On derivations and Lie structure of semirings | Synapse