6.6 Existence proofs