Keyanna Proofs