% References cited in https://agora.t9k.dev/t/192/a-torsion-free-group-algebra-that-is-not-directly-finite