R-Gavin-proofs