(~p -> (q & ~q)) -> p
i.e. (~p -> c) -> p
where c is a contradiction.
Proofs by contradiction are non-constructive.
[...]
hidup hanya menunda kekalahan
tambah terasing dari cinta sekolah rendah
dan tahu, ada yang tetap tidak terucapkan
sebelum pada akhirnya kita menyerah—Chairil Anwar (1949)
Aku pasrah.
Aku menyerah.
