stomping on in-bounds data might result in "nondeterminism", but bounded and not ub, which is unbounded.