I really like this game and I did buy it because I want to learn, and logic is fun. Music is good, layout good. etc.
I think it'd be helpful if you could have a notebook of some sort, as you discover the laws of logic. The first time you figure out a new thing it saves the solution, if you replay it and the solution is shorter it's over written. And when you minimize it completely you get a little note of the Law of Z discovered by Y, in XXXX
Proof gallery yeah, that's a good description. Proof gallery with a "high score." Like we fumble though it making mistakes taking way more steps than needed. That's what gets saved, the most concise proof isn't given just because we solved it. The ten step solution, then we shave it down to eight, and that's saved over, etc. When we get down to the wire with the minimum steps, we get a the name and maybe a quick blurb about it.
I love learning, but I got a goldfish brain, every time I come back I wonder how I solved the last one.
