Non‐Free Projective Modules for Torsion‐Free Groups