I think we both love Math. But I respectfully disagree. These are games. In a game like Portal, standard intuition about geometry mostly applies, as long as the

I think we both love Math. But I respectfully disagree. These are games. In a game like Portal, standard intuition about geometry mostly applies, as long as there isn’t a portal in the portion of space you’re considering. The boundaries between reality and magic are what make it interesting. And the fact that it’s mostly normal but sometimes not is exactly what makes it interesting. Because for the player, it doesn’t matter if the proofs are invalid, their intuition mostly holds. In HyperRogue, normal Earth intuition is mostly inapplicable because of the hyperbolic geometry. The fact that it has portals and therefore proofs fail shouldn’t IMHO be the defining features of the world. Unless you think the key audience of the game is topologists or something, but if you care about non-mathematicians getting into the game, I’d say focus on intuition not axioms.