A module M over a unit ring R is called flat iff the tensor product functor -⊗_R M (or, equivalently, the tensor product functor M⊗_R - ) is an exact functor. For every R-module, M obeys the implication M free ⟹M projective ⟹M flat, which, in general, cannot be reversed.