Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

explosion

From ⊥, write any sentence at all.

Explosion (X) lets you write any sentence from a line containing ⊥. It reflects the fact that inconsistent premises entail every sentence.

Examples

From 5 ⊥, write 6 Q (X 5).