positioning of lines that double as an answer to a question in the next line. Another is a sloth canon, where one character repeats the lines of another, but slower and negated. Themes The book contains many instances of recursion and self-reference, where objects and ideas speak about or refer back to themselves. One is Quining, a term Hofstadter invented in homage to Willard Van Orman Quine, referring to programs that produce their own source code. Another is the presence of a fictional author in the index, Egbert B. Gebstadter, a man with initials E, G, and B and a surname that partially matches Hofstadter. A phonograph dubbed "Record Player X" destroys itself by playing a record titled I Cannot Be Played on Record Player X (an analogy to Gödel's incompleteness theorems), an examination of canon form in music, and a discussion of Escher's lithograph of two hands drawing each other. To describe such self-referencing objects, Hofstadter coins the term "strange loop"—a concept he examines in more depth in his follow-up book I Am a Strange Loop. To escape many of the logical contradictions brought about by these self-referencing objects, Hofstadter discusses Zen koans. He attempts to show readers how to perceive reality outside their own experience and embrace such paradoxical questions by rejecting the premise—a strategy also called "unasking". Elements of computer science such as call stacks are also discussed in Gödel, Escher, Bach, as one dialogue describes the adventures of Achilles and the Tortoise as they make use of "pushing potion" and "popping tonic" involving entering and leaving different layers of reality. The dialogue mentioned in the previous sentence also has a genie with a lamp containing another genie with another lamp and so on. Subsequent sections discuss the basic tenets of logic, self-referring statements, ("typeless") systems, and even programming. Hofstadter further creates BlooP and FlooP, two simple programming languages, to illustrate his point. Puzzles The book is filled with puzzles, including Hofstadter's MU puzzle, which contrasts reasoning within a defined logical system with reasoning about that system. Another example can be found in the chapter titled Contracrostipunctus, which combines the words acrostic and contrapunctus (counterpoint). In this dialogue between Achilles and the Tortoise, the author hints that there is a contrapunctal acrostic in the chapter that refers both to the author (Hofstadter) and Bach. This can be spelled out by taking the first word of each paragraph,