CRAN check proof