MAالإثبات
السجل
نقطة البداية لكل متقدّم، وكل مرة جلس فيها للاختبار، وكل تاريخ — حتى الشهور اللي ما تحرّك فيها شي. يفتح فاضي، وهذا شكل السجل الصادق قبل ما يكون فيه شي.
نقطة البداية لكل متقدّم، وكل مرة جلس فيها للاختبار، وكل تاريخ — حتى الشهور اللي ما تحرّك فيها شي.
0 صفوف · n = 0
السجل يفتح مع أول دفعة. واليوم فاضي. كل جلوس بينكتب، حتى اللي ما تحرّك فيه شي؛ وكل رقم معه n وتاريخ؛ وولا نسبة بدون مقام؛ والحالات اللي ما نفعت تنشر، ومعها وش الشي المشترك بينها.
[ تاريخ فتح السجل ] — يُحدَّد لمّا توجد أول دفعة. والحالة الفاضية صادقة فقط إذا قالت متى تبطّل تكون فاضية.