Update a proof