Mathtype 6.8 ✓

In the basement of the Mathematics Department at Arcadia University, wedged between a dusty copy of Maple V and a forgotten box of transparencies, sat an old CD-ROM. Its label read, in crisp, early-2000s serif: MathType 6.8 .

With a final keystroke, Eleanor selected the entire expression and hit the Format → Align at = command. The Corrupted Conjecture screamed—a sound like a thousand dot-matrix printers jamming at once—then collapsed into a clean, beautiful, perfectly formatted identity: mathtype 6.8

A dialog box appeared, but not the usual "Installation Complete." This one was pale yellow, with a single line of text: In the basement of the Mathematics Department at

Eleanor pulled her hand back. Her fingers smelled faintly of toner and chalk dust. The Corrupted Conjecture screamed—a sound like a thousand

“You forgot to close your parentheses in 1999,” she scolded the conjecture, inserting a matching bracket. The entire equation shuddered.

“That’s the Corrupted Conjecture ,” Epsilon Prime said, trembling. “It escaped from a cracked copy of MathType 5.0 in 1998. It’s been rewriting textbooks ever since. Last week, it made ‘2+2=5’ appear in a linear algebra textbook. The author got tenure for ‘novel arithmetic.’”

The next day, Eleanor threw away the CD-ROM. She installed the latest version of MathType—the cloud-connected one. But she kept a single shortcut on her desktop: a shortcut that, if you clicked it just right, and if the moon was full, and if you had an unresolved theorem in your heart…