Tracy proofs