Tay Proofs