דוגמא נוספת:
+555
יחסי שקילות
-2
מכפלה קרטזזית
-2
יחסים
+17
יחסים כתת קבוצה של הזוגות הסדורים
-17
תרגיל
-2
פתרון
-2
תרגיל
+464
תרגיל
+33
אין תקציר עריכה
מערכי תרגול
+2
הערות
+49
הערות
+212
הערות
+340
פתרון
+264
פתרון
+11
אין תקציר עריכה
אין תקציר עריכה
מערכי תרגול
+91
מערכי תרגול
+4
אין תקציר עריכה
הודעות
+48
לפעמים כדאי להניח הנחות חזקות יותר
תרגיל
-2
תרגיל 4.5
+41
שחלוף וסימטריות
-10
שחלוף וסימטריות
-12
אין תקציר עריכה
תרגילים
תרגילים
+61
תרגיל
+58
תרגיל 5.11
+633
אין תקציר עריכה
אין תקציר עריכה
מערכי תרגול
+146
כפל שורה שורה
+1
כפל שורה שורה
+142
ו
+51
תרגיל
+60
פעולות על קבוצות
-5
פעולות על קבוצות
+32
טאוטולוגיות
+117
טאוטולוגיות
+34
אין תקציר עריכה
-41
תרגיל
+16
תרגיל
+52
טענת גרירה
אין תקציר עריכה
אין תקציר עריכה
אין תקציר עריכה