k contains the boundar