• proofs that display an explicit example that proves the theorem