Proof updates