Free groups are torsion-free - History — LessWrong