²By this modeling, the proper handling of update operations is simplified: writing a field in a non-null object automatically yields another non-null object.