Trey Proofs