(¿Acaso su amigo dejó simplemente de existir, o habrá alcanzado un nivel más alto de realidad, es decir, el mismo nivel de realidad en el cual los lectores de "GEB" residen actualmente?) Las secciones siguientes analizan los principios básicos de la lógica, las declaraciones auto-referenciales ("typeless"), los sistemas e incluso la programación.