Jayda and Tyrelle Proofs