Remya Proofs