Mark Hurt Proofs