A calculus of the absurd

6.6 Existence proofs