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.
We are not affiliated with IsThereAnyDeal.






This is a puzzle game based on logic and deduction. In this game, you can learn and understand a brand new deduction system, and then take the axioms and rules of deduction as tools, to prove the propositions by entering the code.
Features:
Elements which might be frustrating:
If all of them are okay for you, then this game may be suitable for you.
FAQs:
Q: Which players are the game mainly for?
A: If you have some experience of reading math books and you are interested in logic, this game may be the one you like.
Q: Is it a hard game?
A: At the first, the difficulty of this game are mainly about the understanding the rules, and it's easy to work out the puzzle. But the problem will become very hard if you keep playing. Anyway, reading and comprehending themselves will form a part of difficulty.
Q: Are you inspired by something when designing this game?
A: This game is inspired by mathematical logic, mainly about natural deduction of statement calculus and first-order predicate calculus.
Q: How long does it take to beat the game?
A: About 20~40 hours.
Q: Is there any difference between this game and a mathematical exercise book?
A: Nothing. And I just let it be. If some players mind that, it's fine by me to use "the executable file" or "the exercise book" while talking with them, instead of "this game".
Steam data © 2025 Valve Corporation. Steam and the Steam logo are trademarks and/or registered trademarks of Valve Corporation in the U.S. and/or other countries. Independent of Valve. Pricing and availability subject to change.






This is a puzzle game based on logic and deduction. In this game, you can learn and understand a brand new deduction system, and then take the axioms and rules of deduction as tools, to prove the propositions by entering the code.
Features:
Elements which might be frustrating:
If all of them are okay for you, then this game may be suitable for you.
FAQs:
Q: Which players are the game mainly for?
A: If you have some experience of reading math books and you are interested in logic, this game may be the one you like.
Q: Is it a hard game?
A: At the first, the difficulty of this game are mainly about the understanding the rules, and it's easy to work out the puzzle. But the problem will become very hard if you keep playing. Anyway, reading and comprehending themselves will form a part of difficulty.
Q: Are you inspired by something when designing this game?
A: This game is inspired by mathematical logic, mainly about natural deduction of statement calculus and first-order predicate calculus.
Q: How long does it take to beat the game?
A: About 20~40 hours.
Q: Is there any difference between this game and a mathematical exercise book?
A: Nothing. And I just let it be. If some players mind that, it's fine by me to use "the executable file" or "the exercise book" while talking with them, instead of "this game".
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.
We are not affiliated with IsThereAnyDeal.
Steam data © 2025 Valve Corporation. Steam and the Steam logo are trademarks and/or registered trademarks of Valve Corporation in the U.S. and/or other countries. Independent of Valve. Pricing and availability subject to change.