Tri-Proofs