I'm studiyng [Higman's Embedding Theorem](http://en.wikipedia.org/wiki/Higman's_embedding_theorem), and a fundamental part of the proof is the following lemma:  

*If R is a benign normal subgroup of finitely generated group F, then F/R can be embedded in a finitely presented group.*  

A proof of the lemma in context could be found on page 16 of [this paper](https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/010luminita.pdf).  

I understand the lemma on technical levels, and to some degree also on an intuitive level.  

But I have no idea why Lyndon & Schupp chose the name "The Higman Rope Trick" for the lemma.  

I'm hoping someone could enlighten me because my feeling is that I'm missing something important about the meaning of the lemma...otherwise I'd get the meaning of the name, not so?  

Thank you very much!  

Shlomi. 


P.S: This is my first time posting a question. I read the different guides and I'm pretty sure I stuck to the rules. If not though then I apologize and will correct upon notice.



Why is "The Higman Rope Trick" thus named?
[Too long for a comment] No mathematical content to offer, but the name is almost certainly a reference to the Indian Rope Trick (see <http://en.wikipedia.org/wiki/Indian_rope_trick>), which is a famous magic trick in which a boy climbs up a rope and disappears. Perhaps the lemma has something to do with "climbing up" and "vanishing"; perhaps they just thought the word "Higman" sounded a little bit like the word "Indian" (they both end in "an") and made a little joke instead of just calling it the Higman Trick?


