一款以数学教材为形式，内容基于逻辑学和演绎推理的解谜游戏。在这个游戏中，你不需要过关，只需要证明自己可以过关；你的目标不是赢，而是证明自己能赢。