Tim Edwards Proofs