Hayden Kelly Proofs