Laurie and Xor set out from Permute with their new map. They finally knew where they were, where they were going, and how to get there. It was all right there on paper.
“The places on this map have funny names,” said Laurie. “Truncate. What’s that?”
“To Truncate is to make something shorter by cutting off part of it. The town of Truncate has very precise borders,” Xor said.
“Oh. So what’s Axiom?” Laurie asked.
“An Axiom is a rule that you pretend is true even if you don’t know why it’s true,” said Xor.
“Surely. My cousin Nand taught me all about it. She’s a Euclidosaurus.”
“You’re making stuff up again, Xor.” ...