Referring to proof steps as “rabbit-out-of-a-hat” or as like pulling a rabbit out of a hat is not slang, but rather a popular metaphor in mathematical writing (1,2,3,4,5,6). Generally, it refers to use of unmotivated, non-intuitive, “out of left field”, “out of the blue”, or “off the wall” techniques, that at first may seem completely unrelated to what is being proved and that may seem mysterious or magical. Rabbit-from-hat steps are denigrated when they do not illustrate a method that can be used in proving other theorems, or when the train of thought that prompted the step gets tidied away out of sight.