Gersten's distortion–divergence conjecture for normal free subgroups
Gersten's conjecture. The distortion of FFF in GGG is equivalent to the divergence of GGG.