Taniyaha Proofs