Update ProofTest