Hayden Proofs