Katy Smith Proofs