existence proofs