Knowsley and Oddsley

They argued about it for a whole season, spring through autumn. And then one evening, on a hard board at the far end of the League Field, with the light turning gold across the grass, they discovered that they had been saying exactly the same thing all along.

A young porcupine named Thistle had asked both of them for help. She was halfway through a difficult Club board, stuck on a stubborn patch of hidden squares crowded around a cluster of ones and twos. "I don't know what to do next," she said, quills drooping. "I've looked and looked. Can you show me?"

Knowsley answered first, as he always did. "Let's find a proof," he said, and he studied the numbers, tapping steadily. Soon he pointed to a one and a two sitting side by side. "Look. Every hidden square that touches the one also touches the two. So the one's squares sit completely inside the two's squares, and the two has one extra square besides. The one says exactly one mine is among its squares. The two needs two mines. One of them must be in the shared squares, because that's where the one's mine is. So the two's second mine can only be in the extra square. Proven."

Thistle flagged it, impressed. "That's clever," she said.

Then Oddsley glided down beside them, her head tilted nearly all the way sideways. "Now let me show you the very same patch through my scale," she said. Together, she and Thistle carefully listed every arrangement of mines that fit all of the numbers, and that also used up the board's total mine count exactly, the way Sumsy the hamster always insists. There weren't many arrangements, only a handful. Oddsley set each one on her scale as a small weight.

"Now," Oddsley said, "look at the square Knowsley just flagged. In how many of our arrangements is there a mine on it?"

Thistle counted carefully. "All of them," she said. "Every single arrangement puts a mine there."

"And that square over there," Oddsley pointed with a wingtip, to a hidden square near the edge. "In how many arrangements is there a mine on that one?"

Thistle counted again, more slowly this time. "None," she said. "Not one of them."

Oddsley turned to Knowsley, her eyes twinkling amber behind her spectacles. "Do you see it? A square that holds a mine in every possible arrangement is a mine you've proven. There is simply no way the numbers can be true without it. And a square that holds a mine in none of the arrangements is a safe square you've proven. My scale finds your proofs too. They're just the squares that come out at a hundred percent, and the squares that come out at zero."

Knowsley stopped tapping his temple. He stared at the scale for a long, silent moment. "So when I find a proof," he said at last, slowly, "what I'm really finding is a square where every possible way the board could be arranged agrees."

"Yes," said Oddsley.

"And when you weigh odds, the squares in between, the ones at thirty percent or sixty percent, are the squares where the arrangements disagree with each other."

"Exactly," said Oddsley. "And here's the part that ties us together. On a League board, there is always at least one square sitting at exactly zero or exactly a hundred. That's what no-guess means, when you look at it through my scale. It's why you never have to guess. Your proofs and my odds aren't two different ideas. They're one idea, seen from two sides. Your side is faster when a proof is easy to spot. My side sees everything at once, including how uncertain the rest of the board still is."

Thistle opened the square that had come out at zero percent. Safe. A new number appeared beneath it, and with that number came new proofs, and the stubborn patch began to unravel square by square until it was gone.