ProofNudgeSystem Status