bound update k