On Split Exact Sequences and Projective Semimodules | Synapse