Update termination proof.