一次构造一个合理的证明——每一步都必须遵循账本上已有的内容，任何逻辑上的飞跃都被抛弃。
左窗格显示数字、给定条件和目标。中心是一个两栏的分类帐，记录您建立的陈述和理由。从候选步骤池中一次添加一个；仅当步骤的先决条件已得到证实时，该步骤才会被接受。导出完成证明的目标。
引理教授严格的演绎证明，强制每一步都是合理的。
从一组候选步骤中构建出一份由“陈述”和“理由”两栏组成的表格，这是几何课上所教授的数学证明。
直接提供候选步骤，是本作原创的脚手架。
提供步骤去掉了主要靠创造的那一部分，留下了主要靠逻辑的那一部分：判断什么由什么推出，以及按什么顺序。一个真实却尚未得到论证的步骤是典型的错误，而它只有在两栏的形式中才会显现出来。
引理是一款原创的免费浏览器逻辑游戏，它教授严格的演绎证明，强制每个主张都由先前的行证明是合理的，就像真正的两列几何证明所要求的那样。