ایک وقت میں ایک ثبوت کی ایک جائز لائن بنائیں - ہر قدم کو لیجر پر پہلے سے موجود چیز کی پیروی کرنی چاہیے، اور کسی بھی منطقی چھلانگ کو باہر پھینک دیا جاتا ہے۔
بائیں پین اعداد و شمار، دیئے گئے اور مقصد کو دکھاتا ہے. مرکز بیان اور جواز کا ایک دو کالم لیجر ہے جسے آپ بناتے ہیں۔ امیدوار کے قدموں کے تالاب سے، ایک وقت میں ایک شامل کریں۔ ایک قدم صرف اس صورت میں قبول کیا جاتا ہے جب اس کی شرائط پہلے سے ثابت ہوں۔ ثبوت کو مکمل کرنے کا مقصد حاصل کریں۔
Lemma سخت کٹوتی ثبوت سکھاتی ہے، یہ نافذ کرتی ہے کہ ہر قدم جائز ہے۔
امیدوار قدموں کے ایک ذخیرے سے بیان اور جواز کا دو کالمی کھاتا بنانا ریاضیاتی ثبوت ہے جیسا کہ جیومیٹری میں پڑھایا جاتا ہے۔
امیدوار قدم فراہم کرنا اس کھیل کا اپنا سہارا ہے۔
قدم پیش کرنا وہ حصہ ہٹا دیتا ہے جو زیادہ تر ایجاد ہے اور وہ حصہ چھوڑتا ہے جو زیادہ تر منطق ہے: یہ طے کرنا کہ کیا کس سے نکلتا ہے، اور کس ترتیب میں۔ ایک ایسا قدم جو سچ ہو مگر ابھی ثابت نہ ہوا ہو، خاص غلطی ہے، اور یہ صرف دو کالمی شکل میں نظر آتی ہے۔
Lemma ایک اصل مفت براؤزر منطق کا کھیل ہے جو سخت کٹوتی ثبوت سکھاتا ہے، اس بات کو نافذ کرتا ہے کہ ہر دعوے کو پیشگی لائنوں کے ذریعے جائز قرار دیا جائے جیسا کہ ایک حقیقی دو کالم جیومیٹری ثبوت کا تقاضا ہے۔