Biconditional Bex

Bex had cared about both-directions since she was a pup.

She'd grown 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 slippery 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' going one way. 'Slippery means rain' going 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 for herself all that year, and found her grandmother right again and again. So many of the town's "rules" only worked in one direction, even though everyone used them in both. The day she truly understood it, she felt the ground under her own thinking go suddenly firmer. 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 that two things are really the same condition — that P holds if and only if Q holds — one direction isn't enough. You have to 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 got 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. That's what 'if and only if' really means. The two banks turn out to be the same shore."

The mathematician booked passage to the academy 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!" he said. "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 it's true and hard. And sometimes" — she held up a careful paw — "it's not true at all, and the whole 'if and only if' falls apart. You don't get to know which until you actually make the crossing." She slid a fresh sheet toward him. "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 turned into something steadier. "It felt different," he said, "knowing it goes both ways. Solid."

"That's the feeling of a real crossing," Bex said.