Rah Proofs