Steven Williams Proofs