I won't say too much about it, other than I played it about a year ago (after Danielle Riendeau recommended it on an episode of Idle Thumbs), and it's stayed with me for a long time since then. I really recommend it, though take note of content warnings on the website.
I watched this interesting talk on game design by Jonathan "Braid" Blow and Marc "Miegakure" ten Bosch. They espouse and explore a particular design aesthetic where the designer essentially plays the role of a mathematician. "Good design" then becomes a selection of orthogonal mechanisms (axioms), and an exhaustive-yet-minimal mapping-out of what's derivable (theorems), and then demarcation of the boundary. Since it needs to be fun, the real art has to come from crafting surprise and tweaking axioms to capture exactly what you want. They both make some very interesting points, and I thought this comparison with mathematics was a particularly cool and apt way to frame the ideas.
Watch it here: