This question holds the key to this puzzle. This is what is known as a “common knowledge” problem. Common knowledge, in logic, is defined as the knowledge of some truth, p, in a group, such that ...

He is the author of The Recursive Mind: The Origins of Human Language, Thought, and Civilization. Douglas Hofstadter directs the Center for Research on Concepts and Cognition at at Indiana University.