Diviner Proofs