ReProve the README file