In the beginning of the game, players learn to identify shapes based on their properties. Next, logic-based puzzles are introduced. To solve the puzzles, players must use the properties of given shapes, which are placed in complex figures of overlapping shapes, to draw conclusions about other shapes in the figure. As the game progresses, players use the definitions, postulates and theorems presented in Euclid’s Elements to solve increasingly sophisticated puzzles. The logical reasoning in the game is identical to the logical reasoning used in formal geometric proof, only with a kinesthetic gaming component that allows players to visualize it.