Uniqueness Una

Marlow turned the key over and over, looking for the catch. "But you didn't search anywhere," he said slowly. "You didn't hunt through drawers, or check the other locksmiths in town, or ask if anyone had ever cut a copy. You just... sat here and reasoned, and now you're certain."

"That's the whole beauty of it," Una said. "If I'd tried to prove there was no second key by searching — checking every drawer in the world, every locksmith, every workshop — I could never finish. I'd search my whole life and only ever be able to say 'I haven't found one yet.' That's not certainty; that's just tiredness. Instead I turn the question around. I don't go looking for a second key to rule out. I assume it exists — I invite it in — and then I show the assumption forces the imagined second key to become identical to the first. A second different key is impossible, because the lock itself won't allow two different answers." She tapped the tumblers. "The proof lives in the lock, not in the searching."

Una had been proving things one-of-a-kind since she was small. She'd grown up in a den crowded with belongings, in a family forever worried about duplicates and impostors — was this the real heirloom or a copy, was that the true map or a forgery? The worry never ended, because they kept trying to prove uniqueness the impossible way: by checking every object in the whole world to make sure no second one existed. You can never finish a search like that. There is always one more drawer, one more town, one more year.

Young Una found the way out almost by accident, arguing with her brother over a carved wooden fox he swore someone had copied. Instead of searching for the copy, she looked hard at the fox itself — the particular knot in the grain, the exact angle of the ear, the chip on the tail — and realized that anything claiming to be the same fox would have to match every one of those marks. And a thing that matched every single mark wouldn't be a copy at all; it would just be the fox. "There can't be a second one," she told her astonished brother, "because a real second one would have to be the first one." The relief of it — the end of the endless searching — was the calmest she'd felt in that crowded, suspicious den in years.

Una's favourite thing to teach was that uniqueness is only half of a truth, and knowing which half you're proving matters enormously. A careful student named Odell once brought her a proof he was proud of. "I proved this equation has a unique solution!" he said. "I supposed there were two solutions, and showed they had to be equal. Done!"

"You've proved something real and important," Una said warmly. "You've proved at most one. That's uniqueness — if a solution exists, there's only the one. But tell me — have you proved a solution exists at all?" Odell paused. "I... assumed it did." "Then you're only half-finished," Una said gently. "Existence proves at least one — that the thing you're talking about is really there. Uniqueness proves at most one — that there isn't a second. You need both to say 'exactly one.' I've watched people prove a thing is unique so beautifully, and never notice they never showed it exists — a perfect proof that there's at most one unicorn." Odell laughed, then went quiet, then went back to his page to prove the solution existed too.