Second semimodules over commutative semirings | Synapse