Update with proof