Ru Proofs