New: witness-update