Title: Torsion-free modules