Eric Pettit Proofs