Does it also cover the case in which the new value is _null_ ?

(this code should work, I'm wondering about the general high level pattern)