Keyonna and Tae Proofs