proof README