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