Tracey Farmer Proofs