This is a puzzle game like a mathematical book, based on logic and deduction. In this game, you don't need to beat the level, but need to prove it is beatable. Your goal is not to win, but to prove you can win.
Some code options are added in this version.
Notation is supported now. (See tutorial page 3)
Some text error is fixed.
