Tyra and Bileah Proofs