On projective covers of flat semimodules and regular rings | Synapse