Chris Williams - Initial Proofs