Her seferinde haklı bir satır olacak şekilde bir kanıt oluşturun; her adım, halihazırda defterde bulunandan takip edilmelidir ve herhangi bir mantıksal sıçrama atılır.
Sol bölme rakamı, verilenleri ve hedefi gösterir. Merkez, oluşturduğunuz iki sütunlu beyan ve gerekçe defteridir. Aday adımlar havuzundan birer birer ekleyin; bir adım yalnızca önkoşullarının zaten kanıtlanmış olması durumunda kabul edilir. İspatı tamamlamak için hedefi türetin.
Lemma, her adımın haklı olduğunu zorlayan kesin tümdengelimli kanıt öğretir.
Aday adımlardan oluşan bir havuzdan ifade ve gerekçe içeren iki sütunlu bir defter kurmak, geometride öğretildiği biçimiyle matematiksel ispattır.
Aday adımları sunmak özgün iskeledir.
Adımları sunmak, çoğunlukla icat olan kısmı kaldırır ve çoğunlukla mantık olan kısmı bırakır: neyin neyden çıktığına ve hangi sırayla çıktığına karar vermek. Doğru olup henüz gerekçelendirilmemiş bir adım karakteristik hatadır ve yalnızca iki sütunlu biçimde görünür.
Lemma, gerçek bir iki sütunlu geometri kanıtının gerektirdiği gibi, her iddianın önceki satırlarla gerekçelendirilmesini zorlayan, titiz tümdengelimli kanıt öğreten orijinal bir ücretsiz tarayıcı mantık oyunudur.