Ryan Smith Proofs