Jamille and Ky'Miri Proofs