If we get a value out of an atom twice, it's not the same object, because we call '->lens' on it, so they're never identical.