Combinatorial group theory is a loosely defined subject, with close connections to topology and logic. With surprising frequency, problems in …