Provs checkpoint