When every S -flat module is (flat) projective | Synapse