ProofRun - check before done