Tracy Proofs