Avery Smith Proofs