r2verseProof