The non-nullability issue seems to be about performance, not cognitive load (search the article for "writes atomically"), though not articulated.