generic update new proofs