By dawn, he had finished Chapter 7: Functions. He looked up from his laptop. His dorm room was the same—the stained coffee mug, the pile of unwashed laundry—but it wasn't. The wall on the left was no longer a solid surface. It was a set of paint molecules, each one a discrete element, each one related to its neighbor by a weak van der Waals relation. The air was not air; it was a field of continuous points, an uncountable infinity.
He looked back.
He never found a physical copy. The ISBN led to a deleted entry. The publisher had gone under in 1982. But sometimes, late at night, when he opened a blank LaTeX document to start a proof, he would see a crooked scan of a footnote in the margins, asking him a question about the barber who shaves all those who do not shave themselves.
The cursor blinked. And in that blinking, Elias understood. The PDF wasn't a book. It was a predicate. And he was the variable that had just been quantified.
“Let E be the set of all possible versions of Elias. Let R be the relation ‘is afraid of.’ Prove that R is not an equivalence relation because it is not reflexive: no Elias is afraid of himself until now.”
That night, he dreamed in Venn diagrams. Three overlapping circles labeled What is True , What is Provable , and What is Haunting You . The intersection was not empty. In fact, it had a single element.
He slammed the laptop shut. The wall went back to being a wall. The air went back to being air. But his reflection in the dark screen was still looking at him from an angle he wasn't sitting at. And in its hand, it held a green book that did not exist.
The PDF was a mess. The scan was crooked, as if the original book had resisted being flattened. In places, the margins were singed. The famous green cover was rendered in blotchy greyscale. But the theorems—the theorems were crystalline.
At 2:00 AM, he reached Chapter 4: Relations. The PDF did something strange. The word “equivalence” shimmered. He rubbed his eyes. No, the letters had just… shifted. He kept reading.
The book was a ghost. Elias knew it the moment he saw the listing on an old forum: “Pure Mathematics by J.K. Backhouse – PDF scan – eternal recursion included free.”
The screen went white. Not the white of a dead pixel, but the pure, axiomatic white of a blank sheet of infinite paper. Then the text reformed. It was no longer Backhouse's voice. It was his own.
He tried to think of his mother’s face. Instead, he saw a function: f: {memories} → {emotional states} . It was not injective. Many memories mapped to the same dull ache.
He was a first-year undergraduate, drowning in a sea of epsilon-delta proofs. His lecturer, a brittle woman named Dr. Vance, had called Backhouse “a fossil, superseded by more constructive texts.” But the older students whispered about it. They said the 1970s classic didn't just teach you pure mathematics; it infected you with it.
And Elias would close the document, turn off the lights, and try very, very hard not to define himself.