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

proof by contrapositive

Prove the contrapositive instead, then invoke its guaranteed equivalence to the original.

A proof by contrapositive of $p\implies q$ proves $\neg q\implies\neg p$ directly.