تاربرگ‌های پیموده‌شده در این نشست: جبر بُن‌پارین ⟩ توان‌ذهنی ⟩ Double Negation Elimination ⟩ بی‌کنشی چندبارگی