Biconditional Bex

Bex had cared about both-directions since she was a pup, growing up in a riverside town full of sayings that sounded like solid rules. If it's raining, the bridge is slippery. The townsfolk used these both ways without thinking — they'd see a slippery bridge and announce, confidently, that it must be raining. But little Bex noticed the bridge was also slippery from morning dew, from spilled fish-oil, from frost. Raining made it slippery, true. But slippery did not mean raining.

"You're only allowed to flip a rule around," her grandmother told her, "if you've checked that the flip is true too. 'Rain makes it slippery' one way; 'slippery means rain' the other. Those are two separate claims, pup. One can be true and the other false. Never assume the road runs both ways just because it runs one." Little Bex tested it all that year and found her grandmother right again and again — so many of the town's "rules" only worked in one direction, though everyone used them in both. The day she truly understood it, the ground under her own thinking went suddenly firmer, and from then on, whenever someone said two things were the same, she asked the same quiet question: does it work both ways?

When she was grown, a mathematician from the ProofQuest academy crossed Bex's ferry, listened to her insist on rowing the empty boat back, and understood at once what she was. "What is a biconditional proof?" the mathematician asked, mid-river.

"It's a both-ways proof," Bex said, rowing steadily. "When you want to show two things are really the same condition — that P holds if and only if Q holds — one direction isn't enough. You prove if P then Q, and then, separately, if Q then P. There and back. Both crossings." She feathered an oar. "People love to prove one direction and call it done. But 'if and only if' is a two-way bridge. Until you've walked it both ways, you've only half a proof — and half a bridge is just a place to fall in." And when both directions hold? the mathematician asked. "Then they're not two things at all," Bex said, smiling. "They're one thing with two names. The two banks turn out to be the same shore." The mathematician booked passage that very day, and brought Bex with her.

Bex's favourite thing to teach was the patience of proving the second direction. A quick, impatient student named Tam once burst into her classroom. "I proved it! If a number is divisible by six, then it's divisible by both two and three. If and only if! Done!"

"You've proved one direction," Bex said warmly. "Beautifully, too — if divisible by six, then by two and three. That's the trip out. But 'if and only if' needs the trip home as well. Have you proved that if a number is divisible by both two and three, then it's divisible by six?" Tam opened his mouth, then closed it. "I... assumed that part was obvious." "The trip home is never obvious until you've rowed it," Bex said gently. "Sometimes it's true and easy. Sometimes true and hard. And sometimes it's not true at all, and the whole 'if and only if' falls apart — and you don't get to know which until you make the crossing. So: row it back. Prove the second direction. Then you may say 'done,' and mean it." Tam bent over the page, and when he finally looked up, both directions proved, his impatience had steadied into something firmer. "It felt different," he said, "knowing it goes both ways. Solid." "That," said Bex, "is the feeling of a real crossing."