added caveat to r proof