Heuristics for the Whitehead minimization problem.
The main result of this note is that a finitely generated hyper-(Abelian-by-finite) group is finite-by-nilpotent if and only if every infinite subset contains two distinct elements , such that