• are proofs that prove an example exists without actually giving it.