Tyler's Proofs