finish updatesetnlist proof